@rising(#a1) --> <<5>> (#a0) 
